@inproceedings{embedded-cc-sac-oops-2010,
 author = {F\"{a}hndrich, Manuel and Barnett, Michael and Logozzo, Francesco},
 title = {Embedded contract languages},
 booktitle = {SAC '10: Proceedings of the 2010 ACM Symposium on Applied Computing},
 year = {2010},
 isbn = {978-1-60558-639-7},
 pages = {2103--2110},
 location = {Sierre, Switzerland},
 doi = {http://doi.acm.org/10.1145/1774088.1774531},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@inproceedings{CousotCousot77,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Abstract interpretation: a unified lattice model for static 
                analysis of programs by construction or approximation of 
                fixpoints},
   year = 1977,
   publisher = {ACM Press},
month = jan,
   booktitle = {POPL'77},
}

@inproceedings{subpolyhedra,
 author = {Laviron, Vincent and Logozzo, Francesco},
 title = {SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities},
 booktitle = {VMCAI '09: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation},
 year = {2009},
 isbn = {978-3-540-93899-6},
 pages = {229--244},
 location = {Savannah, GA},
 doi = {http://dx.doi.org/10.1007/978-3-540-93900-9_20},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 }

@misc{codecontracts,
  author = 	 {Manuel F\"ahndrich and Mike Barnett and Francesco Logozzo},
  title = 	 {{Code Contracts}},
  url = "http://research.microsoft.com/contracts",
  month = 	 mar,
  year = 	 {2009} 
}

@inproceedings{cccheck,
  author    = {Manuel F{\"a}hndrich and
               Francesco Logozzo},
  title     = {Static Contract Checking with Abstract Interpretation},
  booktitle = {FoVeOOS},
  year      = {2010},
  pages     = {10-30}
}

@inproceedings{CousotCousotLogozzo-VMCAI11,
  author    = {Patrick Cousot and
               Radhia Cousot and
               Francesco Logozzo},
  title     = {Precondition Inference from Intermittent Assertions and
               Application to Contracts on Collections},
  booktitle = {VMCAI},
  year      = {2011},
  pages     = {150-168}
}

@inproceedings{CousotCousotLogozzo-POPL11,
  author    = {Patrick Cousot and
               Radhia Cousot and
               Francesco Logozzo},
  title     = {A parametric segmentation functor for fully automatic and
               scalable array content analysis},
  booktitle = {POPL},
  year      = {2011},
  pages     = {105-118}
}
@inproceedings{Logozzo-VMCAI07,
  author    = {Francesco Logozzo},
  title     = {Cibai: An Abstract Interpretation-Based Static Analyzer
               for Modular Analysis and Verification of Java Classes},
  booktitle = {VMCAI},
  year      = {2007},
  pages     = {283-298}
}
@inproceedings{LogozzoFahndrich08,
  author    = {Francesco Logozzo and
               Manuel F{\"a}hndrich},
  title     = {Pentagons: a weakly relational abstract domain for the efficient
               validation of array accesses},
  booktitle = {SAC},
  year      = {2008},
  pages     = {184-188}
}
@inProceedings{LogozzoFahndrich11, 
   author    = {Francesco Logozzo and
               Manuel F{\"a}hndrich},
  title = 	 {Checking Compatibility of Bit Sizes in Floating Point Comparison Operations},
  year = 	 {2011},
  booktitle = {3rd workshop on Numerical and Symbolic Abstract Domains},
  series = 	 {ENTCS}
}

